$\forall$$A$:Type, ${\it as}$:($A$ List). map(Id\{$A$\};${\it as}$) = ${\it as}$